Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
131	TDT vignette Use of snpStats in family–based studies David Clayton April 16, 2015 Pedigree data Add to Reading List Source URL: www.bioconductor.org Language: English - Date: 2015-04-16 22:34:47 Classical genetics Population genetics Non-parametric statistics Genetic genealogy Genetic linkage Histogram Single-nucleotide polymorphism Genetics Biology Statistics
132	Student research proposal: Impact of static sea surface topography variations on ocean surface waves Leo Maas & Paolo Stocchi (NIOZ, Physical Oceanography) Classical oceanographic studies on ocean waves over non-uniform Add to Reading List Source URL: ta.twi.tudelft.nl Language: English - Date: 2014-09-23 16:33:29 Physical geography Gravitation Physical oceanography Geophysics Oceanography Ocean surface topography Altimeter Gravity of Earth Physical geodesy Physics Geodesy Earth
133	Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-04-26 07:06:34 Information science Non-classical logic Formal systems Knowledge representation Ontology Description logic Axiom Modal logic Mereology Logic Mathematical logic Mathematics
134	Skill Cluster Page 1 Learning Skill 1.1 Interactive Skills - Exchanging thoughts, messages & information effectively through interaction Add to Reading List Source URL: taolearn.com Language: English - Date: 2015-05-21 20:54:53 Seattle Mariners all-time roster Baltimore Orioles all-time roster Modal logic Non-classical logic Philosophical logic
135	On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-10-23 18:50:09 Model theory Predicate logic Non-classical logic Quantification Interpretation First-order logic Independence-friendly logic FO Lambda calculus Logic Mathematical logic Philosophical logic
136	Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-15 06:33:59 Logic in computer science Non-classical logic Query languages Prolog Logic programming Denotational semantics Programming language Logic Modal logic Software engineering Computing Computer programming
137	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
138	J Pediatr Endocr Met 2011;):965–970 © 2011 by Walter de Gruyter • Berlin • Boston. DOIJPEMCharacteristics and prevalence of non-classical congenital adrenal hyperplasia with a V281l mut Add to Reading List Source URL: www.larova.com Language: English - Date: 2013-07-09 07:45:35
139	Towards More Useful Description Logics of Time, Change and Context V´ıctor Didier Guti´errez Basulto DISSERTATION zur Erlangung des akademischen Grades Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2014-05-22 05:57:02 Information science Temporal logic Modal logic Science Information Non-classical logic Artificial intelligence Description logic
140	Interval Analysis Without Intervals Paul Taylor Department of Computer Science University of Manchester UK EPSRC GR/S58522 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-02-12 12:34:48 Locally compact space Duality Logic Equivalence of categories Stone duality Non-classical analysis Topology Mathematics General topology

UPDATE